Nimbus 4 SCR data handling
نویسندگان
چکیده
منابع مشابه
An Abductive Approach for Handling Inconsistencies in SCR Specifications
We present a formal approach for handling inconsistencies in Software Cost Reduction (SCR) specifications. The approach uses an event-based logic, called the Event Calculus, to represent SCR mode transition tables. Building on this formalism, the approach provides an abductive reasoning mechanism that enables the analysis of inconsistencies between SCR mode transition tables and global requirem...
متن کاملA novel radial super-efficiency DEA model handling negative data
Super-efficiency model in the presence of negative data is a relatively neglected issue in the DEA field. The existing super-efficiency models have some shortcomings in practice. In this paper, a novel VRS radial super-efficiency DEA model based on Directional Distance Function (DDF) is proposed to provide a complete ranking order of units (including efficient and inefficient ones). The propose...
متن کاملAccessing Location Data in Mobile Environments ? The Nimbus Location Model
Location-based applications and services are getting increasingly important for mobile users. They take into account a mobile user’s current location and provide a location-dependent output. Often, location-based applications still have to deal with raw location data and specific positioning systems such as GPS, which lead to inflexible designs. To support developers of locationbased services, ...
متن کاملProximity Services with the Nimbus Framework
Location-based applications and services are getting increasingly important for mobile users. They take into account a mobile user's current location and provide location-dependent output. Currently, location-based applications are mainly provided by mobile phone networks, but we can generalize the idea to other usage scenarios. To support developers of such services, we designed the Nimbus fra...
متن کاملBiological Data Handling Methods
Biological data has more variation in type and format compared to other types of data. Thus, it poses new challenges. However, it encapsulates critical information; thus, handling it is of primary interest. Data handling includes storage and retrieval of data with associated formats and methods of data transfer, data format conversion, algorithms that run on the data and the output methods incl...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Computer Journal
سال: 1974
ISSN: 0010-4620,1460-2067
DOI: 10.1093/comjnl/17.2.172